Lamb Shanks Cooked In Pressure Cooker